#ifndef _PLATFORM_UART_H
#define _PLATFORM_UART_H

void uart_init(u32 baud_rate);
void uart_send_byte(u8 c);

#endif
